翻訳と辞書
Words near each other
・ Rifaat Hussain
・ Rifaat Turk
・ Rifabutin
・ Rifaina
・ Rifalazil
・ Rifampicin
・ Riesz mean
・ Riesz potential
・ Riesz rearrangement inequality
・ Riesz representation theorem
・ Riesz sequence
・ Riesz space
・ Riesz theorem
・ Riesz transform
・ Riesz's lemma
Riesz–Fischer theorem
・ Riesz–Markov–Kakutani representation theorem
・ Riesz–Thorin theorem
・ Riet
・ Riet River
・ Riet River (Doring)
・ Riet, Germany
・ Rietavas
・ Rietavas Manor
・ Rietavas Municipality
・ Rietberg
・ Rietberg Castle
・ Rietberg Museum
・ Rietbrock, Wisconsin
・ Rietbron


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Riesz–Fischer theorem : ウィキペディア英語版
Riesz–Fischer theorem
In mathematics, the Riesz–Fischer theorem in real analysis is any of a number of closely related results concerning the properties of the space ''L''2 of square integrable functions. The theorem was proven independently in 1907 by Frigyes Riesz and Ernst Sigismund Fischer.
For many authors, the Riesz–Fischer theorem refers to the fact that the ''L''''p'' spaces from Lebesgue integration theory are complete.
== Modern forms of the theorem ==
The most common form of the theorem states that a measurable function on () is square integrable if and only if the corresponding Fourier series converges in the space ''L''2. This means that if the ''N''th partial sum of the Fourier series corresponding to a square-integrable function ''f'' is given by
:S_N f(x) = \sum_^ F_n \, \mathrm^,
where ''F''''n'', the ''n''th Fourier coefficient, is given by
:F_n =\frac\int_^\pi f(x)\, \mathrm^\, \mathrmx,
then
:\lim_ \left \Vert S_N f - f \right \|_2 = 0,
where \left \Vert \cdot \right \|_2 is the ''L''2-norm.
Conversely, if \left \ \, is a two-sided sequence of complex numbers (that is, its indices range from negative infinity to positive infinity) such that
:\sum_^\infty \left | a_n \right \vert^2 < \infty,
then there exists a function ''f'' such that ''f'' is square-integrable and the values a_n are the Fourier coefficients of ''f''.
This form of the Riesz–Fischer theorem is a stronger form of Bessel's inequality, and can be used to prove Parseval's identity for Fourier series.
Other results are often called the Riesz–Fischer theorem . Among them is the theorem that, if ''A'' is an orthonormal set in a Hilbert space ''H'', and ''x'' ∈ ''H'', then
:\langle x, y\rangle = 0
for all but countably many ''y'' ∈ ''A'', and
:\sum_ |\langle x,y\rangle|^2 \le \|x\|^2.
Furthermore, if ''A'' is an orthonormal basis for ''H'' and ''x'' an arbitrary vector, the series
:\sum_ \langle x,y\rangle \, y
converges ''commutatively'' (or ''unconditionally'') to ''x''. This is equivalent to saying that for every ''ε'' > 0, there exists a finite set ''B''0 in ''A'' such that
: \|x - \sum_ \langle x,y\rangle y \| < \varepsilon
for every finite set ''B'' containing ''B''0. Moreover, the following conditions on the set ''A'' are equivalent:
* the set ''A'' is an orthonormal basis of ''H''
* for every vector ''x'' ∈ ''H'',
::\|x\|^2 = \sum_ |\langle x,y\rangle|^2.
Another result, which also sometimes bears the name of Riesz and Fischer, is the theorem that ''L''2 (or more generally ''L''''p'', 0 < ''p'' ≤ ∞) is complete.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Riesz–Fischer theorem」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.